First-order Undecidability in Function Fields of Positive Characteristic
نویسنده
چکیده
We prove that the first-order theory of any function field K of characteristic p > 2 is undecidable. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2.
منابع مشابه
Undecidability in Function Fields of Positive Characteristic
We prove that the first-order theory of any function field K of characteristic p > 2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields.
متن کاملUndecidability in Function Fields of Positive Characteristic
We prove that the first-order theory of any function field K of characteristic p > 2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields.
متن کاملHilbert’s Tenth Problem over Function Fields of Positive Characteristic Not Containing the Algebraic Closure of a Finite Field
We prove that the existential theory of any function field K of characteristic p > 0 is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the undecidability proof for function fields of higher transcendence degree to characteristic 2 and show that the first-order theory of any function field of positive...
متن کاملHilbert’s Tenth Problem for Function Fields of Characteristic Zero
In this article we outline the methods that are used to prove undecidability of Hilbert’s Tenth Problem for function fields of characteristic zero. Following Denef we show how rank one elliptic curves can be used to prove undecidability for rational function fields over formally real fields. We also sketch the undecidability proofs for function fields of varieties over the complex numbers of di...
متن کاملHYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کامل